$\forall$$i$:$\mathbb{Z}$. AtomFree($\mathbb{Z}$;$i$)